Интерфейс внешних функций

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Интерфейс внешних функций (англ. Foreign Function Interface, FFI) — это механизм, с помощью которого программа, написанная на одном языке программирования, может вызывать подпрограммы, написанные на другом языке. FFI часто используется при вызовах из бинарной динамически подключаемой библиотеки.

Термин происходит из спецификации для Common Lisp, которая явно ссылается на функцию языка программирования, позволяющую производить вызовы между языками как таковые.[источник не указан 489 дней] Этот термин также часто официально используется в документации интерпретатора и компилятора Haskell,[1] Rust,[2] Python, OCaml[3] и LuaJIT (Lua).[4] Другие языки используют другую терминологию: в документации по языку программирования Ада говорится о «привязках к языку[англ.]», в то время как Java называет свой интерфейс Java Native Interface или Java Native Access (JNA)[англ.]. Интерфейс внешней функции стал общим термином для механизмов, предоставляющих такие возможности.

Связывание одного программного языка с другим является непростой задачей. Язык, для которого создаётся интерфейс к другому языку, должен разбираться в соглашениях вызова, системе типов, структурах данных, механизмах выделения памяти и методов линковки языка-цели для корректной работы. Для корректной передачи данных семантика обоих языков должна быть тщательно согласована.[5]

Добавление FFI к типобезопасному языку может внести набор операций, нарушающих безопасность неочевидными способами.[6]

Примечания

[править | править код]
  1. FFI Introduction. HaskellWiki. Дата обращения: 19 июня 2015.
  2. std::ffi - Rust. Дата обращения: 1 апреля 2021.
  3. Foreign Function Interface. OCamlverse.
  4. Heintz, Joachim. Ways Ahead : Proceedings of the First International Csound Conference.. — Newcastle upon Tyne : Cambridge Scholars Publishing, 2013. — ISBN 978-1-4438-5122-0.
  5. Real World Haskell, 2008.
  6. Furr, Michael; Foster, Jeffrey S. (2005). "Checking type safety of foreign function calls". SIGPLAN Not. 40 (6). Association for Computing Machinery: 62—72. doi:10.1145/1064978.1065019. ISSN 0362-1340.

Литература

[править | править код]
  • Bryan O'Sullivan, John Goerzen, Donald Bruce Stewart. Chapter 17. Interfacing with C: The FFI // Real World Haskell (англ.). — O'Reilly Media, Inc., 2008. — ISBN 9780596514983.